|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (vedoucí práce) ; Sedlár, Igor (oponent)
Najprv sa budeme zaoberat' rôznymi druhmi reprezentácie neistoty a metódami aktualizácie pomocou kondicionalizácie. Zameriame sa na generický rámec (kon- dicionálnej) plauzibility pre jeho schopnost' generalizovat' všetky ostatné repre- zentácie. Následne sa lepšie pozrieme na tri štruktúry a uvedieme vlastnosti, ktoré je nutné pridat' rámcu kondicionálnej plauzibility, aby sme každú z nich dokázali skonštruovat'. Hlavným ciel'om tejto práce je ukázat', ako môže byt' verejné vy- hlásenie na jedno-agentových modeloch plauzibility, " ranking" štruktúrach, a " possibility" štruktúrach, v spojení s ich odpovedajúcimi mechanizmami zmeny, vnorené do rámca kondicionálnej plauzibility. Na záver ešte stručne popíšeme všeobecný model zmeny postavený na miere plauzibility. Kl'účové slová: dynamická logika, epistemická logika, neistota, rámec plauzibility, revízia presvedčenia, verejné vyhlásenie, zmena neistoty.
|
|
|
Generic Approach to Updating Uncertainty: Focus on Conditioning
Kuncová, Alexandra ; Peliš, Michal (vedoucí práce) ; Sedlár, Igor (oponent)
Najprv sa budeme zaoberat' rôznymi druhmi reprezentácie neistoty a metódami aktualizácie pomocou kondicionalizácie. Zameriame sa na generický rámec (kon- dicionálnej) plauzibility pre jeho schopnost' generalizovat' všetky ostatné repre- zentácie. Následne sa lepšie pozrieme na tri štruktúry a uvedieme vlastnosti, ktoré je nutné pridat' rámcu kondicionálnej plauzibility, aby sme každú z nich dokázali skonštruovat'. Hlavným ciel'om tejto práce je ukázat', ako môže byt' verejné vy- hlásenie na jedno-agentových modeloch plauzibility, " ranking" štruktúrach, a " possibility" štruktúrach, v spojení s ich odpovedajúcimi mechanizmami zmeny, vnorené do rámca kondicionálnej plauzibility. Na záver ešte stručne popíšeme všeobecný model zmeny postavený na miere plauzibility. Kl'účové slová: dynamická logika, epistemická logika, neistota, rámec plauzibility, revízia presvedčenia, verejné vyhlásenie, zmena neistoty.
|
|
|
Introspekce vágních znalostí ve fuzzy logice
Běhounek, Libor
V klasické epistemické logice je princip introspekce vágních znalostí vyloučen Poincarého paradoxem, implikujícím netranzitivitu relace nerozlišitelnosti. Článek ukazuje, jak lze princip introspekce vágních znalostí zachovat použitím T-tranzitivní relace nerozlišitelnosti ve fuzzy logice.
|
|
|
Dvě souvislosti mezi epistemickou a fuzzy logikou
Běhounek, Libor
Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny problémy takové syntézy související s neplatností axiomu K ve fuzzy kripkovských rámcích. Druhým směrem je založení epistemické logiky na fuzzy logice; v článku je naznačeno, jak chápání proveditelné znalosti jako fuzzy modality odstraňuje paradox logické vševědoucnosti agentů
|
host ::
RSS.